<i>Into Thin Air</i>: Shakespeare’s <i>The Tempest</i> and Virgil
نویسندگان
چکیده
منابع مشابه
IThe theory of optimal reductions
We introduce a new class of higher order rewriting systems, called Interaction Systems (IS's). IS's come from Lafont's (Intuitionistic) Interaction Nets Lafont 1990] by dropping the linearity constraint. In particular, we borrow from Interaction Nets the syntactical bipartitions of operators into constructors and destructors and the principle of binary interaction. As a consequence, IS's are a ...
متن کاملIntegrating Business Processes iinto GIS-Based Simulations
This work proposes a mechanism to integrate different types of processes into a common gis-based simulation engine and, in particular, how to handle business processes described as workflows. In this sense, the paper presents the simulation process approach adopted, describes a method for mapping a workflow into the simulation process and it identifies which information needs to be added to the...
متن کاملIThe Visual Display of ~ Parallel Performance ~ Data
( performance models. T he primary motivation for using parallel computer systems is their high performance potential, but that potential is notoriously difficult to realize, and users often must analyze and tune parallel program performance. Parallel systems can be instrumented to provide ample feedback on program behavior, but because of the volume and complexity of the resulting performance ...
متن کاملIThe Development of Traffic Engineering in Australia
M cars first appeared on Australian roads in about 1900, and road laws, as they are known today, began to evolve soon after. For several years traffic control in Australia was largely a police responsibility, but by the mid to late 1930sthe principles of traffic engineering, including the need to consider the road, the vehicle, the driver, and the traffic rules as an integrated system, were bei...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notes and Queries
سال: 2023
ISSN: ['0029-3970', '1471-6941']
DOI: https://doi.org/10.1093/notesj/gjad033